- 2 402 202 книги
- Поиск
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Автор: Cliff B. Jones, Автор: Zhiming Liu, Автор: Jim Woodcock
Размер книги: 7.82 Mb
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)
Автор: Dines BjornerКатегория: Компьютеры
Размер книги: 10.37 Mb
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Автор: Dines BjornerКатегория: Компьютеры
Размер книги: 39.85 Mb
Oriented Matroids, Second edition (Encyclopedia of Mathematics and its Applications)
Автор: Anders Bjorner, Автор: Michel Las Vergnas, Автор: Bernd Sturmfels, Автор: Neil White, Автор: Gunter M. ZieglerКатегория: Математика
Размер книги: 5.46 Mb
Combinatorics of Coxeter Groups (Graduate Texts in Mathematics)
Автор: Anders Bjorner, Автор: Francesco Brenti, Автор:Категория: Математика
Размер книги: 4.37 Mb
Oriented matroids
Автор: Bjorner, Автор: Las Vergnas, Автор: Sturmfels, Автор: White, Автор: Ziegler.
Размер книги: 4.68 Mb
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Автор: Dines Bjorner, Автор: Martin C. Henson
Размер книги: 5.36 Mb
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Автор: Cliff B. Jones, Автор: Zhiming Liu, Автор: Jim Woodcock
Размер книги: 5.37 Mb
Bjorner, Las Vergnas, Sturmfels, White, Ziegler. Oriented matroids (Enc.Math.Appl., 2ed., CUP, 1999)(L)(T)(ISBN 052177750X)(281s).djvu
Автор:
Размер книги: 5.11 Mb
Bjorner, Las Vergnas, Sturmfels, White, Ziegler. Oriented matroids (Enc.Math.Appl., 2ed., CUP, 1999)(L)(T)(281s).djvu
Автор:
Размер книги: 5.00 Mb
Bjorner A., Stanley R.P. Combinatorial miscellany (CUP draft, 2004)(91s).pdf
Автор:
Размер книги: 375 Kb
Combinatorics of Coxeter Groups
Автор: Anders Bjorner, Автор: Francesco Brenti
Размер книги: 2.08 Mb
Baltic Computer Science
Автор: Janis Barzdins, Автор: Dines BjornerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.05 Mb
The Vienna development method: the Meta-langauge
Автор: D. Bjorner, Автор: C.B. JonesКатегория: 'Informatique.', 'Langages de programmation.'
Размер книги: 14.97 Mb
The Vienna Development Method.. The Meta-Language
Автор: D. Bjorner, Автор: C.B. JonesКатегория: CsLn_
Размер книги: 1.81 Mb
Combinatorics of Coxeter Groups (Graduate Texts in Mathematics)
Автор: Anders Bjorner, Автор: Francesco BrentiКатегория: Science, Mathematics
Размер книги: 4.41 Mb
Elements of Microcomputer Interfacing
Автор: Dines Bjorner, Автор: C.A.R. Hoare, Автор: Hans Langmaack
Размер книги: 4.14 Mb
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Автор: Dines Bjorner, Автор: Manfred Broy, Автор: Igor V. Pottosin
Размер книги: 3.88 Mb
Combinatorics of Coxeter Groups
Автор: Anders Bjorner, Автор: Francesco Brenti
Размер книги: 3.09 Mb
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Автор: Dines Bjorner, Автор: Manfred Broy, Автор: Igor V. Pottosin
Размер книги: 3.86 Mb
